STEFFEN, BERNHARD: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Bringing it all back home? Backshoring of manufacturing activities and the adoption of Industry 4.0 technologies

Dachs, Bernhard, Kinkel, Steffen, Jäger, Angela

Journal:

Journal of World Business

Year:

2019

Language:

english

File:

PDF, 582 KB

english, 2019

2

[IEEE 2014 15th International Conference on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems (EuroSimE) - Belgium (2014.04.7-2014.04.9)] 2014 15th International Conference on Thermal, Mechanical and Mulit-Physics Simulation and Experiments in Microelectronics and Microsystems (EuroSimE) - Design, technology, numerical simulation and optimization of building blocks of a micro and nano scale tensile testing platform with focus on a piezoresistive force sensor

Meszmer, Peter, Hiller, Karla, May, Daniel, Hartmann, Steffen, Shaporin, Alexey, Mehner, Jan, Wunderle, Bernhard

Year:

2014

Language:

english

File:

PDF, 2.62 MB

english, 2014

3

Lazy code motion

Knoop, Jens, Rüthing, Oliver, Steffen, Bernhard

Journal:

ACM SIGPLAN Notices

Year:

2004

Language:

english

File:

PDF, 1.69 MB

english, 2004

4

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications Volume 9953 || Modeling and Optimizing Automotive Electric/Electronic (E/E) Architectures: Towards Making Clafer Accessible to Practitioners

Margaria, Tiziana, Steffen, Bernhard

Year:

2016

Language:

english

File:

PDF, 2.45 MB

english, 2016

5

Identifying and overcoming the interface originating c-axis instability in highly Sc enhanced AlN for piezoelectric micro-electromechanical systems

Fichtner, Simon, Wolff, Niklas, Krishnamurthy, Gnanavel, Petraru, Adrian, Bohse, Sascha, Lofink, Fabian, Chemnitz, Steffen, Kohlstedt, Hermann, Kienle, Lorenz, Wagner, Bernhard

Journal:

Journal of Applied Physics

Year:

2017

Language:

english

File:

PDF, 2.24 MB

english, 2017

6

n-angulated categories

Geiss, Christof, Keller, Bernhard, Oppermann, Steffen

Journal:

Journal für die reine und angewandte Mathematik (Crelles Journal)

Year:

2013

Language:

english

File:

PDF, 663 KB

english, 2013

7

[ACM Press the ACM SIGPLAN 1992 conference - San Francisco, California, United States (1992.06.15-1992.06.19)] Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation - PLDI '92 - Lazy code motion

Knoop, Jens, Rüthing, Oliver, Steffen, Bernhard

Year:

1992

Language:

english

File:

PDF, 970 KB

english, 1992

8

Current concepts in chronic inflammatory diseases: Interactions between microbes, cellular metabolism, and inflammation

Garn, Holger, Bahn, Sabine, Baune, Bernhard T., Binder, Elisabeth B., Bisgaard, Hans, Chatila, Talal A., Chavakis, Triantafyllos, Culmsee, Carsten, Dannlowski, Udo, Gay, Steffen, Gern, James, Haahtela

Journal:

Journal of Allergy and Clinical Immunology

Year:

2016

Language:

english

File:

PDF, 269 KB

english, 2016

9

[SpringerBriefs in World Mineral Deposits] Archean Rare-Metal Pegmatites in Zimbabwe and Western Australia (Geology and Metallogeny of Pollucite Mineralisations) ||

Dittrich, Thomas, Seifert, Thomas, Schulz, Bernhard, Hagemann, Steffen, Gerdes, Axel, Pfänder, Jörg

Year:

2019

Language:

english

File:

PDF, 7.37 MB

english, 2019

10

Two modifications in the treatment of keratocystic odontogenic tumors (KCOT) and the use of Carnoy’s solution (CS)—a retrospective study lasting between 2 and 10

Martin Gosau, Florian G. Draenert, Steffen Müller, Bernhard Frerich, Ralf Bürgers, Thorsten E. Reichert, Oliver Driemel

Journal:

Clinical Oral Investigations

Year:

2010

Language:

english

File:

PDF, 182 KB

english, 2010

11

Optimal code motion: theory and practice

Knoop, Jens, Rüthing, Oliver, Steffen, Bernhard

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1994

Language:

english

File:

PDF, 1.92 MB

english, 1994

12

Pattern-Based Survey and Categorization of Network Covert Channel Techniques

Wendzel, Steffen, Zander, Sebastian, Fechner, Bernhard, Herdin, Christian

Journal:

ACM Computing Surveys

Year:

2015

Language:

english

File:

PDF, 586 KB

english, 2015

13

[ACM Press the ACM SIGPLAN 1994 conference - Orlando, Florida, United States (1994.06.20-1994.06.24)] Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation - PLDI '94 - Partial dead code elimination

Knoop, Jens, Rüthing, Oliver, Steffen, Bernhard

Year:

1994

Language:

english

File:

PDF, 1.07 MB

english, 1994

14

A New Equation Solver for Modeling Turbulent Flow in Coupled Matrix-Conduit Flow Models

Hubinger, Bernhard, Birk, Steffen, Hergarten, Stefan

Journal:

Year:

2016

Language:

english

File:

PDF, 365 KB

english, 2016

15

The physics of software tools: SWOT analysis and vision

Steffen, Bernhard

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2017

Language:

english

File:

PDF, 383 KB

english, 2017

16

Integrating cross-border emergency medicine systems: securing future pre-clinical medical workforce for remote medical services

Ucinski, Tomasz, Dolata, Gregorz, Helminiak, Robert, Fischer, Lutz, Fleßa, Steffen, Brehmer, Bernhard, Vierth, Armin, Grundmann, Volker, Rehberg, Sebastian, Krügel, Kathrin, Partecke, Maud, Brinkrolf,

Journal:

Best Practice & Research Clinical Anaesthesiology

Year:

2018

Language:

english

File:

PDF, 237 KB

english, 2018

17

[IEEE 2018 IEEE Applied Power Electronics Conference and Exposition (APEC) - San Antonio, TX, USA (2018.3.4-2018.3.8)] 2018 IEEE Applied Power Electronics Conference and Exposition (APEC) - ΔV/Δt-intervention control concept for improved transient response in digitally controlled boost converters

Quenzer-Hohmuth, Samuel, Ritzmann, Steffen, Rosahl, Thoralf, Wicht, Bernhard

Year:

2018

Language:

english

File:

PDF, 2.30 MB

english, 2018

18

Two-phase disintegration of high-pressure retrograde fluid jets at near-critical injection temperature discharged into a subcritical pressure atmosphere

Baab, Steffen, Lamanna, Grazia, Weigand, Bernhard

Journal:

International Journal of Multiphase Flow

Year:

2018

Language:

english

File:

PDF, 20.15 MB

english, 2018

19

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice Volume 11247 (8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV) || Reliable Smart Contracts: State-of-the-Art, Applications, Challenges and Future Directions

Margaria, Tiziana, Steffen, Bernhard

Year:

2018

Language:

english

File:

PDF, 157 KB

english, 2018

20

Age-hardening of high pressure die casting AlMg alloys with Zn and combined Zn and Cu additions

Stemper, Lukas, Mitas, Bernhard, Kremmer, Thomas, Otterbach, Steffen, Uggowitzer, Peter J., Pogatscher, Stefan

Journal:

Materials & Design

Year:

2019

Language:

english

File:

PDF, 4.09 MB

english, 2019

21

Sediment provenance of late Quaternary morainic, fluvial and loess-like deposits in the southwestern Verkhoyansk Mountains (eastern Siberia) and implications for regional palaeoenvironmental reconstructions

Steffen Popp, Innokenty Belolyubsky, Frank Lehmkuhl, Andrei Prokopiev, Christine Siegert, Valentin Spektor, Georg Stauch, Bernhard Diekmann

Journal:

Geological Journal

Year:

2007

Language:

english

File:

PDF, 967 KB

english, 2007

22

Fatigability of spinal reflex transmission in a mouse model (SOD1G93A) of amyotrophic lateral sclerosis

Eike D. Schomburg, Heinz Steffens, Jana Zschüntzsch, Payam Dibaj, Bernhard U. Keller

Journal:

Year:

2011

Language:

english

File:

PDF, 695 KB

english, 2011

23

High-order compact solvers for the three-dimensional Poisson equation

Godehard Sutmann, Bernhard Steffen

Journal:

Journal of Computational and Applied Mathematics

Year:

2006

Language:

english

File:

PDF, 435 KB

english, 2006

24

Septic arthritis of the knee: Presentation of a novel irrigation-suction system tested in a cadaver study

Atesch Ateschrang, Dirk Albrecht, Steffen Schröter, Bernhard Hirt, Kuno Weise, Jürgen H Dolderer

Journal:

BMC Musculoskeletal Disorders

Year:

2011

Language:

english

File:

PDF, 565 KB

english, 2011

25

Refinement and retrenchment for programming language data types

Bernhard Beckert, Steffen Schlager

Journal:

Formal Aspects of Computing

Year:

2005

Language:

english

File:

PDF, 236 KB

english, 2005

26

A numerical method for the evaluation of an equilibrium configuration of a toroidal pinch

Bernhard Steffen

Journal:

Journal of Computational Physics

Year:

1978

Language:

english

File:

PDF, 543 KB

english, 1978

27

Candida glabrata tryptophan-based pigment production via the Ehrlich pathway

Sascha Brunke, Katja Seider, Ricardo Sergio Almeida, Antje Heyken, Christian Benjamin Fleck, Matthias Brock, Dagmar Barz, Steffen Rupp, Bernhard Hube

Journal:

Molecular Microbiology

Year:

2010

Language:

english

File:

PDF, 1.18 MB

english, 2010

28

Form, function and feedbacks in a tidally dominated ooid shoal, Bahamas

EUGENE C. RANKEY, BERNHARD RIEGL, KELLEY STEFFEN

Journal:

Sedimentology (Wiley)

Year:

2006

Language:

english

File:

PDF, 2.25 MB

english, 2006

29

The certification hypothesis of fairness opinions for acquiring firms

Pierfrancesco La Mura, Marc Steffen Rapp, Bernhard Schwetzler, Andreas Wilms

Journal:

International Review of Law and Economics

Year:

2011

Language:

english

File:

PDF, 330 KB

english, 2011

30

Real-life versus package insert: A post-marketing study on adverse-event rates of the virosomal hepatitis A vaccine Epaxal® in healthy travellers

Christoph Hatz, Bernhard Beck, Robert Steffen, Blaise Genton, Valérie d’Acremont, Louis Loutan, Katharina Hartmann, Christian Herzog

Journal:

Year:

2011

Language:

english

File:

PDF, 584 KB

english, 2011

31

Kjellin’s syndrome: Fundus autofluorescence, angiographic, and electrophysiologic findings

Inez B Frisch, Peter Haag, Heimo Steffen, Bernhard H.F Weber, Frank G Holz

Journal:

Year:

2002

Language:

english

File:

PDF, 458 KB

english, 2002

32

[Communications in Computer and Information Science] Leveraging Applications of Formal Methods, Verification and Validation Volume 17 || A Framework for Analyzing and Testing the Performance of Software Services

Margaria, Tiziana, Steffen, Bernhard

Year:

2008

Language:

english

File:

PDF, 2.39 MB

english, 2008

33

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1384 || Experience with literate programming in the modelling and validation of systems

Steffen, Bernhard

Year:

1998

Language:

english

File:

PDF, 841 KB

english, 1998

34

[Communications in Computer and Information Science] Leveraging Applications of Formal Methods, Verification and Validation Volume 17 || Non-functional Avionics Requirements

Margaria, Tiziana, Steffen, Bernhard

Year:

2009

Language:

english

File:

PDF, 297 KB

english, 2009

35

Minimally invasive, imaging guided virtual autopsy compared to conventional autopsy in foetal, newborn and infant cases: study protocol for the paediatric virtual autopsy trial

Rüegger, Christoph M, Bartsch, Christine, Martinez, Rosa, Ross, Steffen, Bolliger, Stephan A, Koller, Brigitte, Held, Leonhard, Bruder, Elisabeth, Bode, Peter, Caduff, Rosmarie, Frey, Bernhard, Schäff

Journal:

Year:

2014

Language:

english

File:

PDF, 153 KB

english, 2014

36

Learning register automata: from languages to program structures

Isberner, Malte, Howar, Falk, Steffen, Bernhard

Journal:

Machine Learning

Year:

2014

Language:

english

File:

PDF, 1.24 MB

english, 2014

37

Numerical characterization and experimental verification of an in-plane MEMS-actuator with thin-film aluminum heater

Meszmer, Peter, Hiller, Karla, Hartmann, Steffen, Shaporin, Alexey, May, Daniel, Rodriguez, Raul David, Arnold, Jörg, Schondelmaier, Gianina, Mehner, Jan, Zahn, Dietrich R. T., Wunderle, Bernhard

Journal:

Microsystem Technologies

Year:

2014

Language:

english

File:

PDF, 1.85 MB

english, 2014

38

Humidity-Induced Effects on Polymer Planar Bragg Gratings

Rosenberger, Manuel, Hessler, Steffen, Belle, Stefan, Schmauss, Bernhard, Hellmann, Ralf

Journal:

IEEE Photonics Technology Letters

Year:

2014

Language:

english

File:

PDF, 758 KB

english, 2014

39

Elektronische Bremsenregelung für größere aktive Sicherheit

M. Sc. Bernhard Eichhorn,Dipl.-Ing. Steffen König…

Journal:

ATZ - Automobiltechnische Zeitschrift

Year:

2014

Language:

german

File:

PDF, 1.34 MB

german, 2014

40

[IEEE 2012 2nd Workshop on Developing Tools as Plug-ins (TOPI) - Zurich, Switzerland (2012.06.3-2012.06.3)] 2012 Second International Workshop on Developing Tools as Plug-Ins (TOPI) - Simplicity principles for plug-in development: The jABC approach

Naujokat, Stefan, Lamprecht, Anna-Lena, Steffen, Bernhard, Jorges, Sven, Margaria, Tiziana

Year:

2012

Language:

english

File:

PDF, 515 KB

english, 2012

41

[IEEE 2009 IEEE Vehicular Technology Conference (VTC 2009-Fall) - Anchorage, AK, USA (2009.09.20-2009.09.23)] 2009 IEEE 70th Vehicular Technology Conference Fall - Routing of Safety-Relevant Messages in Automotive ECU Networks

Herpel, Thomas, Kloiber, Bernhard, German, Reinhard, Fey, Steffen

Year:

2009

Language:

english

File:

PDF, 737 KB

english, 2009

42

A succinct canonical register automaton model

Cassel, Sofia, Howar, Falk, Jonsson, Bengt, Merten, Maik, Steffen, Bernhard

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2015

Language:

english

File:

PDF, 710 KB

english, 2015

43

Rechnerische Bestimmung der solaren Strahlungseinwirkung auf Gebäudehüllen

Weller, Bernhard, Wünsch, Jan, Horn, Sebastian, Fahrion, Marc-Steffen

Journal:

Year:

2014

Language:

german

File:

PDF, 492 KB

german, 2014

44

Simplicity-first model-based plug-in development

Naujokat, Stefan, Neubauer, Johannes, Lamprecht, Anna-Lena, Steffen, Bernhard, Jörges, Sven, Margaria, Tiziana

Journal:

Software: Practice and Experience

Year:

2014

Language:

english

File:

PDF, 1.76 MB

english, 2014

45

[IEEE Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Paphos, Cyprus (2006.11.15-2006.11.19)] Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcms

Kubczak, Christian, Margaria, Tiziana, Fritsch, Arno, Steffen, Bernhard

Year:

2006

Language:

english

File:

PDF, 3.03 MB

english, 2006

46

[IEEE Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Paphos, Cyprus (2006.11.15-2006.11.19)] Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Service Based Enabling Service Availability in the MaTRICS: A Model-Driven Approach

Bajohr, Markus, Margaria, Tiziana, Steffen, Bernhard

Year:

2006

Language:

english

File:

PDF, 809 KB

english, 2006

47

[IEEE Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Paphos, Cyprus (2006.11.15-2006.11.19)] Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - The FMICS-jETI Platform: Status and Perspectives

Margaria, Tiziana, Kubczak, Christian, Steffen, Bernhard, Naujokat, Stefan

Year:

2006

Language:

english

File:

PDF, 2.06 MB

english, 2006

48

[IEEE 2007 IEEE Particle Accelerator Conference (PAC) - Albuquerque, NM (2007.06.25-2007.06.29)] 2007 IEEE Particle Accelerator Conference (PAC) - Measurements of the beam heat load in the cold bore superconductive undulator installed at ANKA

Casalbuoni, S., Grau, A., Hagelstein, M., Rossmanith, R., Zimmermann, F., Kostka, B., Mashkina, E., Steffens, E., Bernhard, A., Wollmann, D., Baumbach, T.

Year:

2007

Language:

english

File:

PDF, 1.08 MB

english, 2007

49

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications Volume 8803 ||

Margaria, Tiziana, Steffen, Bernhard

Year:

2014

Language:

english

File:

PDF, 20.35 MB

english, 2014

50

Interactive Visual Analysis of Heterogeneous Cohort-Study Data

Angelelli, Paolo, Oeltze, Steffen, Haasz, Judit, Turkay, Cagatay, Hodneland, Erlend, Lundervold, Arvid, Lundervold, Astri J., Preim, Bernhard, Hauser, Helwig

Journal:

IEEE Computer Graphics and Applications

Year:

2014

Language:

english

File:

PDF, 4.95 MB

english, 2014

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски